formal semantics
n. 逻辑的语义
[网络] 形式语义学；形式语意学；形式化语义
热门查询
- collectivization n. 集体化
- queue n. 队列；长队；辫子 vt. 将…梳成辫子；使…排队 vi. 排队；排队等候
- uninhabitable adj. 不适宜居住的
- patchily adv. 不规则地, 散落地
- boswell n. 为好友或当代名人作传者
- saute n. 嫩煎菜肴；炒菜肴 adj. 炒的；嫩煎的 vt. 炒；嫩煎
- honk n. 雁叫声；汽车喇叭声 vi. 发雁鸣或汽车喇叭声 vt. 按汽车喇叭 n. (Honk)人名；(柬)洪
- Weatherhead [人名] [英格兰人、苏格兰人姓氏] 韦瑟赫德职业名称，牧羊人，来源于中世纪英语，含义是“阉羊，公羊+牧人”(wether,ram+herdsman)
- contemporaneity n. 同一时期，同时代
- reuptake n. 再摄取；再吸收
- prerecord vt. 事先录音
- bioinformatics n. 生物信息学；生物资讯
- weedkiller n. 除草剂；除莠剂
- lodestone n. 天然磁石；吸引人的东西（等于loadstone）
- investment n. 投资；投入；封锁
- vainglorious adj. 虚荣心强的；非常自负的
- Oakes [人名] [英格兰人姓氏] 奥克斯 Oak的变体; [地名] [美国] 奥克斯
- CLR abbr. clearance 清除; clear 售清（存货）; colour 色; clearing （银行间）票据交换
- orc n. 虎鲸；乐队；妖魔（等于orca）
- converging n. 合并，会聚 v. 聚合，集中于一点（converge的ing形式） adj. 会聚的，收敛
考试词汇表
